Habilitation À Diriger Les Recherches

Interpretation (VMCAI’02), volume 2294 of Lecture Notes in Computer Science,pages 240–254, Venezia, Italy, January 2002.[35] Deepak D’Souza and P. Madhusudan. Timed control synthesis for external specifica-tions. In Proc. 19th International Symposium on Theoretical Aspects of Computer Science(STACS’02), volume 2285 of Lecture Notes in Computer Science, pages 571–582. Springer,2002.[36] Patricia Bouyer, Franck Cassez, and François Laroussinie. Modal logics for timed control.In Martín Abadi and Luca de Alfaro, editors, Proceedings of the 16th International Confe-rence on Concurrency Theory (CONCUR’05), volume 3653 of Lecture Notes in Compu-ter Science, pages 81–94, San Francisco, CA, USA, August 2005. Springer. CopyrightSpringer-Verlag. Extended version.[37] Patricia Bouyer, Laura Bozzelli, and Fabrice Chevalier. Controller synthesis for MTLspecifications. In Christel Baier and Holger Hermanns, editors, Proceedings of the 17thInternational Conference on Concurrency Theory (CONCUR’06), volume 4137 of LectureNotes in Computer Science, pages 450–464, Bonn, Germany, August 2006. Springer.[38] François Laroussinie, Nicolas Markey, and Ghassan Oreiby. Model checking timed ATL fordurational concurrent game structures. In Eugène Asarin and Patricia Bouyer, editors,Proceedings of the 4th International Conference on Formal Modelling and Analysis ofTimed Systems (FORMATS’06), volume 4202 of Lecture Notes in Computer Science,pages 245–259, Paris, France, September 2006. Springer.Automates temporisés à coût